Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
281	SAT Encodings Sugar Nonogram OSS Summary . Add to Reading List Source URL: bach.istc.kobe-u.ac.jp Language: English - Date: 2010-04-19 00:19:44 Declarative programming Boolean satisfiability problem DPLL algorithm Conjunctive normal form Constraint satisfaction Solver Theoretical computer science Constraint programming Applied mathematics
282	LAMMPS Developer Guide 23 Aug 2011 This document is a developer guide to the LAMMPS molecular dynamics package, whose WWW site is at lammps.sandia.gov. It describes the internal structure and algorithms of the code. Sect Add to Reading List Source URL: lammps.sandia.gov Language: English - Date: 2013-11-04 12:08:32 Computational science Molecular dynamics LAMMPS Verlet integration Energy minimization Constraint algorithm Verlet list Find Comm Computational chemistry Chemistry Science
283	Topics in Optimality Theory: Class 4 TETU, GTH, and BC Add to Reading List Source URL: ruccs.rutgers.edu Language: English - Date: 2002-06-07 15:27:24 Optimality theory Language Reduplication Constraint algorithm Phonology Linguistics Science
284	Ranking and Necessity: The Fusional Reduction Algorithm Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2009-11-11 17:38:08 Computational science Computational chemistry Constraint algorithm Constraint Paul Smolensky Physics Optimality theory Science Constraint programming Mathematical optimization
285	Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 1999-12-06 11:36:48 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction AC-3 algorithm Constraint logic programming Backjumping Backtracking Constraint graph Constraint programming Software engineering Computer programming
286	Arguing Optimality Alan Prince Rutgers University, New Brunswick Add to Reading List Source URL: ruccs.rutgers.edu Language: English - Date: 2002-10-27 10:02:02 Optimality theory Phonology Mathematical optimization Computational science Constraint algorithm Operations research Science Linguistics
287	Arguing Optimality Alan Prince Rutgers University, New Brunswick Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2002-11-23 11:37:58 Optimality theory Phonology Mathematical optimization Computational science Constraint algorithm Operations research Science Linguistics
288	Entailed Ranking Arguments Alan Prince Department of Linguistics and Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2002-02-28 12:56:21 Linguistics Optimality theory Phonology Entailment Mathematical optimization Constraint algorithm Constraint logic programming Logic Constraint programming Science
289	Solving the Nurse Rostering Problem Knowledge Representation and Reasoning Seminar Ilina Stoilkovska Add to Reading List Source URL: www.wv.inf.tu-dresden.de Language: English - Date: 2013-01-16 11:30:18 Software engineering Computer programming Constraint satisfaction Local search Constraint Hybrid algorithm Linear programming Multi-objective optimization Candidate solution Constraint programming Mathematical optimization Operations research
290	A novel approach to finding feasible solutions to personnel rostering problems Gareth Beddoe and Sanja Petrovic Add to Reading List Source URL: pomsmeetings.org Language: English - Date: 2008-12-23 09:33:56 Computer programming Constraint satisfaction problem Constraint satisfaction Constraint logic programming Tabu search Genetic algorithm Mathematical optimization Hybrid algorithm Memetic algorithm Constraint programming Artificial intelligence Software engineering

UPDATE